No TPTP formula. May not be expressible in strict first order.	Merge.kif 12923-12923	子類 Investigating and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12174-12174	子類 Keeping and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 257-257	子類 ListOnSite and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13627-13627	子類 聽 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13553-13553	子類 看著 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12219-12219	子類 Maintaining and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12813-12813	子類 Making and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13385-13385	子類 Maneuver and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 114-114	子類 造型 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10535-10535	子類 OrganizationalProcess and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12331-12331	子類 Poking and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6618-6618	子類 沖壓 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12874-12874	子類 Pursuing and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10523-10523	子類 RecreationOrExercise and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12223-12223	子類 Repairing and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12999-12999	子類 SocialInteraction and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11169-11169	子類 Swimming and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18021-18021	子類 翻耕 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1167-1167	子類 UserAction and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20422-20422	子類 WorkLeave and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1091-1091
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1393-1393
No TPTP formula. May not be expressible in strict first order.	french_format.kif 769-769
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 301-301
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