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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subGraph
subGraph

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2351-2352
No TPTP formula. May not be expressible in strict first order. Merge.kif 5901-5903
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1027-1029
No TPTP formula. May not be expressible in strict first order. Merge.kif 5898-5898 The number 1 argument of sub graph is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5899-5899 The number 2 argument of sub graph is an instance of graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 5895-5895 sub graph is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 5896-5896 sub graph is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5897-5897 sub graph is an instance of transitive relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 751-751
No TPTP formula. May not be expressible in strict first order. english_format.kif 753-753
No TPTP formula. May not be expressible in strict first order. french_format.kif 453-453
No TPTP formula. May not be expressible in strict first order. relations-it.txt 273-273
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2161-2161
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 405-405
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 466-466
No TPTP formula. May not be expressible in strict first order. relations-de.txt 969-969
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 310-310
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 475-475
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 518-518
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 465-465
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55727-55727
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55726-55726

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991
No TPTP formula. May not be expressible in strict first order. Merge.kif 5905-5909

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2806-2819
No TPTP formula. May not be expressible in strict first order. Merge.kif 5630-5650


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