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

Formal Language: 



KB Term:  Term intersection
English Word: 

  student

 Sigma KEE - student
student

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16794-16795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16792-16792 Le nombre 1 argument de student est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16793-16793 Le nombre 2 argument de student est une instance de �cole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16791-16791 student est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16790-16790 student est une sous-relation de member

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4678-4678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4677-4677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4676-4676
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65944-65944

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16797-16803

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18727-18736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18742-18752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18758-18768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18774-18784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16782-16788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16707-16719


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