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 5579-5581
No TPTP formula. May not be expressible in strict first order. Merge.kif 5576-5576 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 5577-5577 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 5573-5573 sub graph is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 5574-5574 sub graph is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5575-5575 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 756-756
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 55641-55641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55640-55640

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5659-5671
No TPTP formula. May not be expressible in strict first order. Merge.kif 5583-5587

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2784-2797
No TPTP formula. May not be expressible in strict first order. Merge.kif 5338-5358


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