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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - landlord
landlord

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6883-6885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6887-6887 O argumento numero 1 de landlord e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6888-6888 O argumento numero 2 de landlord e' uma instancia de PermanentResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6886-6886 landlord e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1435-1435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1434-1434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1433-1433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33247-33247
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33246-33246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33245-33245

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


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

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


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


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