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

Formal Language: 



KB Term:  Term intersection
English Word: 

  teacher

 Sigma KEE - teacher
teacher

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16867-16868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16865-16865 Le nombre 1 argument de teacher est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16866-16866 Le nombre 2 argument de teacher est une instance de �cole
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1262-1262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16864-16864 teacher est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16863-16863 teacher est une sous-relation de member

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4738-4738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4737-4737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4736-4736
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65950-65950

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21024-21030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18906-18910


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