Sigma Knowledge Engineering Environment

Manifest : Welcome guest : log in

[ Home | Graph | LogLearn | ] KB: Language:

Formal Language:

Files which are the constituents of the SUMO knowledge base

Configure KB constituents from /var/lib/sigmakee-data/.sigmakee/KBs

Use	KIF File
	Anatomy.kif
	Animals.kif
	ArabicCulture.kif
	Biography.kif
	CCTrep.kif
	Cars.kif
	Catalog.kif
	ClimateStatecraft.kif
	Communications.kif
	ComputerInput.kif
	ComputingBrands.kif
	CountriesAndRegions.kif
	DARPA_ARC.kif
	Dining.kif
	Economy.kif
	FOAFmap.kif
	Facebook.kif
	FinancialOntology.kif
	Food.kif
	GentleM.kif
	GeochronologicTimes.kif
	Geography.kif
	Government.kif
	Hotel.kif
	HouseholdAppliances.kif
	Justice.kif
	Languages.kif
	Law.kif
	Media.kif
	Medicine.kif
	Merge.kif
	Mid-level-ontology.kif
	Military.kif
	MilitaryDevices.kif
	MilitaryPersons.kif
	MilitaryProcesses.kif
	ModSim.kif
	Music.kif
	NameTermFormat.kif
	NavalModeling.kif
	Objects.kif
	People.kif
	QoSontology.kif
	Sports.kif
	TransnationalIssues.kif
	TransportDetail.kif
	Transportation.kif
	Trees.kif
	UXExperimentalTerms.kif
	VirusProteinAndCellPart.kif
	WMD.kif
	Weather.kif
	WeatherStatecraft.kif
	WorldAirports.kif
	arteries.kif
	capabilities.kif
	domainEnglishFormat.kif
	emotion.kif
	engineering.kif
	english_format.kif
	mondial.kif
	naics.kif
	nlg_supplement_formats.kif
	pictureList-ImageNet.kif
	pictureList.kif
	tinyHOL.kif
	tinyIntSUMO.kif
	tinySUMO.kif

Log in as admin to change selected constituents.

Warnings in KB SUMO

Duplicate axiom at line:142 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (instance subclass TransitiveRelation)

Duplicate axiom at line:143 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (domain subclass 1 Class)

Duplicate axiom at line:144 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (domain subclass 2 Class)

Duplicate axiom at line:2098 of /var/lib/sigmakee-data/.sigmakee/KBs/Medicine.kif: (termFormat EnglishLanguage Insomnia "insomnia")

Duplicate axiom at line:22008 of /var/lib/sigmakee-data/.sigmakee/KBs/Mid-level-ontology.kif: (subclass OpeningEye FacialExpression)

Duplicate axiom at line:3143 of /var/lib/sigmakee-data/.sigmakee/KBs/Food.kif: (roomTempState Cream Liquid)

Duplicate axiom at line:43 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (subclass Physical Entity)

Duplicate axiom at line:431 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (domain greaterThanOrEqualTo 1 RealNumber)

Duplicate axiom at line:432 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (domain greaterThanOrEqualTo 2 RealNumber)

Duplicate axiom at line:433 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (instance greaterThanOrEqualTo BinaryPredicate)

Duplicate axiom at line:607 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (domain FirstFn 1 List)

Duplicate axiom at line:608 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (instance FirstFn UnaryFunction)

Duplicate axiom at line:609 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (range FirstFn Entity)

Duplicate axiom at line:619 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (=> (equal ?X (FirstFn ?L)) (equal ?L (ListFn ?X @ROW)))

Duplicate axiom at line:623 of /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif: (=> (equal ?L (ListFn ?X @ROW)) (equal ?X (FirstFn ?L)))

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/Food.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/Medicine.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/Mid-level-ontology.kif

WARNING in KIFAST, 12 duplicate statements detected in /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif

You are not authorized to visit TestStmnt.jsp