IntentionalProcess(intentional process)

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12923-12923 Investigating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12174-12174 Keeping is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 257-257 List on site is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13627-13627 Listening is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13553-13553 Looking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12219-12219 Maintaining is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12813-12813 Making is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13385-13385 Maneuver is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. engineering.kif 114-114 Modeling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10535-10535 Organizational process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12331-12331 Poking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6618-6618 Punching is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12874-12874 Pursuing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10523-10523 Recreation or exercise is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12223-12223 Repairing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12999-12999 Social interaction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11169-11169 Swimming is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18021-18021 Tilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1167-1167 User action is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20422-20422 Work leave is a subclass of intentional process
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