Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VerbPhrase
VerbPhrase(verb phrase)predicate, split_infinitive, verb_phrase

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3546-3546
No TPTP formula. May not be expressible in strict first order. Merge.kif 15317-15318
No TPTP formula. May not be expressible in strict first order. Merge.kif 15316-15316 Verb phrase is a subclass of phrase

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15328-15328 Noun phrase is disjoint from verb phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1035-1035
No TPTP formula. May not be expressible in strict first order. english_format.kif 1282-1282
No TPTP formula. May not be expressible in strict first order. french_format.kif 713-713
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 245-245
No TPTP formula. May not be expressible in strict first order. terms-it.txt 248-248
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2396-2396
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 665-665
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 250-250
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 283-283
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 734-734
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 249-249

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15320-15325

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15332-15339


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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