No TPTP formula. May not be expressible in strict first order.	Merge.kif 12945-12945	子類 Investigating and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12196-12196	子類 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 13649-13649	子類 聽 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13575-13575	子類 看著 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12241-12241	子類 Maintaining and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12835-12835	子類 Making and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13407-13407	子類 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 10557-10557	子類 OrganizationalProcess and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12353-12353	子類 Poking and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6617-6617	子類 沖壓 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12896-12896	子類 Pursuing and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10545-10545	子類 RecreationOrExercise and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12245-12245	子類 Repairing and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13021-13021	子類 SocialInteraction and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11191-11191	子類 Swimming and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18020-18020	子類 翻耕 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 20421-20421	子類 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