No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10337-10337	域 heartRate, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5279-5279	域 身份元素, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2194-2194	域 maxCardinality, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2195-2195	域 maxCardinality, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 477-477	域 maxRoomCapacity, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18406-18406	域 maxValue, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22635-22635	域 會員數, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2157-2157	域 minCardinality, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2158-2158	域 minCardinality, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18388-18388	域 minValue, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1769-1769	域 molecularRatio, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 739-739	域 monoploidNumber, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4896-4896	域 乘法因子, 1 and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4897-4897	域 乘法因子, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2862-2862	域 numberAdultOccupant, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2901-2901	域 numberChildOccupant, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2859-2859	域 numberOccupant, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 703-703	域 numberOfFloors, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2923-2923	域 numberSeniorOccupant, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 335-335	域 restingBreathingRate, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 115-115	域 restingHeartRate, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2738-2738	域 roomStay, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 2068-2068	域 組織席位數, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 1905-1905	域 席位在選舉中獲勝, 3 and Integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2226-2226	域 分裂為, 2 and Integer
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners