TPTP « SUMO « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	CommunicationsAx.p	3986	log plain
-rw-r--r--	CommunicationsLemAx.p	2346	log plain
-rw-r--r--	CommunicationsPredAx.p	104858	log plain
-rw-r--r--	CountriesAndRegionsAx.p	73644	log plain
-rw-r--r--	CountriesAndRegionsLemAx.p	1926	log plain
-rw-r--r--	EconomyAx.p	69671	log plain
-rw-r--r--	EconomyLemAx.p	14369	log plain
-rw-r--r--	EconomyPredAx.p	49197	log plain
-rw-r--r--	EconomySubAttAx.p	8431	log plain
-rw-r--r--	FinancialOntologyAx.p	28242	log plain
-rw-r--r--	FinancialOntologyLemAx.p	78769	log plain
-rw-r--r--	GeographyAx.p	65057	log plain
-rw-r--r--	GeographyLemAx.p	94609	log plain
-rw-r--r--	GeographyPredAx.p	21491	log plain
-rw-r--r--	GeographySubAttAx.p	596	log plain
-rw-r--r--	GovernmentAx.p	48480	log plain
-rw-r--r--	GovernmentLemAx.p	38466	log plain
-rw-r--r--	GovernmentPredAx.p	73391	log plain
-rw-r--r--	GovernmentSubAttAx.p	12788	log plain
-rw-r--r--	MergeAx.p	88318	log plain
-rw-r--r--	MergeLemAx.p	188368	log plain
-rw-r--r--	MergePredAx.p	328	log plain
-rw-r--r--	MergeSubAttAx.p	774	log plain
-rw-r--r--	Mid_level_ontologyAx.p	200768	log plain
-rw-r--r--	Mid_level_ontologyLemAx.p	195200	log plain
-rw-r--r--	Mid_level_ontologyPredAx.p	1842	log plain
-rw-r--r--	Mid_level_ontologySubAttAx.p	1518	log plain
-rw-r--r--	MilitaryAx.p	8415	log plain
-rw-r--r--	MilitaryLemAx.p	6021	log plain
-rw-r--r--	MilitaryPredAx.p	579	log plain
-rw-r--r--	QoSOntologyAx.p	17262	log plain
-rw-r--r--	QoSOntologyLemAx.p	23285	log plain
-rw-r--r--	TransportationAx.p	32474	log plain
-rw-r--r--	TransportationLemAx.p	32676	log plain
-rw-r--r--	TransportationPredAx.p	635	log plain
-rw-r--r--	WMDAx.p	27340	log plain
-rw-r--r--	WMDLemAx.p	6044	log plain
-rw-r--r--	WMDPredAx.p	19740	log plain
-rw-r--r--	WMDSubAttAx.p	428	log plain
-rw-r--r--	WorldAirportsA_KAx.p	384127	log plain
-rw-r--r--	WorldAirportsA_KPredAx.p	365461	log plain
-rw-r--r--	WorldAirportsL_ZAx.p	489393	log plain
-rw-r--r--	WorldAirportsL_ZPredAx.p	461822	log plain
-rw-r--r--	elementsAx.p	12518	log plain
-rw-r--r--	elementsLemAx.p	19810	log plain
-rw-r--r--	elementsPredAx.p	27817	log plain
-rw-r--r--	engineeringAx.p	27355	log plain
-rw-r--r--	engineeringLemAx.p	4926	log plain
-rw-r--r--	mondialAx.p	563150	log plain
-rw-r--r--	mondialPredAx.p	2667357	log plain
-rw-r--r--	test1.p	136	log plain
-rw-r--r--	test2.p	184	log plain
-rw-r--r--	test3.p	146	log plain