No TPTP formula. May not be expressible in strict first order.	Government.kif 4522-4522	域 外交代表類型, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4524-4524	域 外交代表類型, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4456-4456	域 外交代表擔任職務, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4459-4459	域 外交代表擔任職務, 4 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2599-2599	域 discovers, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 367-367	域 distrusts, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 368-368	域 distrusts, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 487-487	域 dressCode, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 81-81	域 經濟類型, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15476-15476	域 編輯者, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1736-1736	域 計劃選舉日期, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1874-1874	域 選舉勝利者, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3008-3008	域 電子郵件地址, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 140-140	域 emotionTendency, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16638-16638	域 採用, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2447-2447	域 enemy, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2448-2448	域 enemy, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1204-1204	域 engineers, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3727-3727	域 傍晚的電話, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1282-1282	域 行政部門, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2459	域 體驗者, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3929-3929	域 利用, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2372-2372	域 出口夥伴, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2373-2373	域 出口夥伴, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2350-2350	域 出口合作夥伴期間, 1 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