Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 12211-12211 Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 725-725 Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 770-770 Speaking is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 773-773 Corresponding is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 861-861 TellingA lie is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9928-9928 Expressing in language is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16241-16241 Debating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16248-16248 Negotiating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25889-25889 Elaborating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25903-25903 Restating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12223-12223 Stating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12257-12257 Supposing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12262-12262 Directing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12306-12306 Committing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12326-12326 Declaring is a subclass of linguistic communication


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