No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1908-1908	域 競標價格, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1686-1686	域 broker, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 360-360	域 businessHours, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29960-29960	域 buys, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1840-1840	域 職位候選人, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4368-4368	域 carries, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4444-4444	域 外交使團團長, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4447-4447	域 外交使團團長, 4 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 965-965	域 聲稱領土, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 763-763	域 colocatedAgent, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15903-15903	域 commentator, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 893-893	域 confirmedRegisteredUser, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 881-881	域 contestObject, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19681-19681	域 比賽參與者, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20818-20818	域 contractor, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 121-121	域 corkageFee, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 458-458	域 counselInCase, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13713-13713	域 creator, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7721-7721	域 顧客, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 995-995	域 dateUsed, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3687-3687	域 一天的電話, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23322-23322	域 欺騙性標識符, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 543-543	域 deliveryRegion, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4632-4632	域 外交組織類型, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4634-4634	域 外交組織類型, 3 and AutonomousAgent
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