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

Formal Language: 



KB Term:  Term intersection
English Word: 

  vegetationTypePattern

Sigma KEE - vegetationTypePattern
vegetationTypePattern

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6213-6215
No TPTP formula. May not be expressible in strict first order. Geography.kif 6217-6217 The number 1 argument of vegetation type pattern is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 6219-6219 The number 3 argument of vegetation type pattern is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 6218-6218 The number 2 argument of vegetation type pattern is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Geography.kif 6211-6211 vegetation type pattern is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2583-2583
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2582-2582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2581-2581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61340-61340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61339-61339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61338-61338

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6221-6223

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6358-6360
No TPTP formula. May not be expressible in strict first order. Geography.kif 6603-6605
No TPTP formula. May not be expressible in strict first order. Geography.kif 6368-6370
No TPTP formula. May not be expressible in strict first order. Geography.kif 6667-6669
No TPTP formula. May not be expressible in strict first order. Geography.kif 6723-6725
No TPTP formula. May not be expressible in strict first order. Geography.kif 6615-6617


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

Show without tree


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