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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartTimePosition

 Sigma KEE - PartTimePosition
PartTimePosition

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18748-18749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18747-18747 PartTimePosition e' uma instancia de Posicao

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18741-18741 FullTimePosition e' &o oposto de PartTimePosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20925-20925 Deacon e' um sub-atributo de PartTimePosition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44606-44606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44605-44605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44604-44604


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