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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subjectiveAttribute

Sigma KEE - subjectiveAttribute
subjectiveAttribute

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 310-311
No TPTP formula. May not be expressible in strict first order. Dining.kif 313-313 The number 1 argument of subjective attribute is an instance of entity
No TPTP formula. May not be expressible in strict first order. Dining.kif 314-314 The number 2 argument of subjective attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Dining.kif 315-315 The number 3 argument of subjective attribute is an instance of agent
No TPTP formula. May not be expressible in strict first order. Dining.kif 312-312 subjective attribute is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4690-4690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4689-4689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4688-4688
No TPTP formula. May not be expressible in strict first order. Dining.kif 316-316

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1044-1059
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3062-3075
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3030-3034
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3040-3044
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3091-3103
No TPTP formula. May not be expressible in strict first order. Dining.kif 1026-1030
No TPTP formula. May not be expressible in strict first order. Dining.kif 1012-1020
No TPTP formula. May not be expressible in strict first order. Dining.kif 900-909
No TPTP formula. May not be expressible in strict first order. Dining.kif 318-325

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1012-1020
No TPTP formula. May not be expressible in strict first order. Dining.kif 883-896
No TPTP formula. May not be expressible in strict first order. Dining.kif 492-505
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1437-1445


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