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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PropertyFn
PropertyFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2135-2136
No TPTP formula. May not be expressible in strict first order. Merge.kif 4129-4130
No TPTP formula. May not be expressible in strict first order. Merge.kif 4126-4126 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4125-4125 Property is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4124-4124 Property is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4127-4127 The range of property is an instance of set

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 269-269
No TPTP formula. May not be expressible in strict first order. english_format.kif 277-277
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 270-270
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47804-47804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47803-47803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47802-47802

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4132-4134 An object is an instance of belongings of an agent if and only if the agent possesses the object
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1417-1422
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1092-1105
No TPTP formula. May not be expressible in strict first order. Hotel.kif 142-149
No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1658-1666
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1864-1876
No TPTP formula. May not be expressible in strict first order. Hotel.kif 459-470
No TPTP formula. May not be expressible in strict first order. Hotel.kif 850-875

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7427-7429 Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
No TPTP formula. May not be expressible in strict first order. Hotel.kif 578-583
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1897-1908
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1092-1105
No TPTP formula. May not be expressible in strict first order. Hotel.kif 142-149
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Hotel.kif 398-418
No TPTP formula. May not be expressible in strict first order. Hotel.kif 45-52
No TPTP formula. May not be expressible in strict first order. naics.kif 11360-11365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 98-103
No TPTP formula. May not be expressible in strict first order. Hotel.kif 105-112
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1653-1656
No TPTP formula. May not be expressible in strict first order. Hotel.kif 594-599
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1689-1701


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