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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PropertyFn

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 4195-4196
No TPTP formula. May not be expressible in strict first order. Merge.kif 4192-4192 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4191-4191 Property is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4190-4190 Property is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4193-4193 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 274-274
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 47793-47793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47792-47792
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47791-47791

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1452-1457
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1127-1140
No TPTP formula. May not be expressible in strict first order. Hotel.kif 147-154
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1696-1704
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1902-1914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 479-490
No TPTP formula. May not be expressible in strict first order. Hotel.kif 871-897
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2744-2757
No TPTP formula. May not be expressible in strict first order. Merge.kif 4198-4201
No TPTP formula. May not be expressible in strict first order. Merge.kif 7719-7723

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 599-604
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1127-1140
No TPTP formula. May not be expressible in strict first order. Hotel.kif 147-154
No TPTP formula. May not be expressible in strict first order. Hotel.kif 317-332
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 11437-11442
No TPTP formula. May not be expressible in strict first order. Merge.kif 7713-7717
No TPTP formula. May not be expressible in strict first order. Hotel.kif 103-108
No TPTP formula. May not be expressible in strict first order. Hotel.kif 110-117
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1691-1694
No TPTP formula. May not be expressible in strict first order. Merge.kif 4203-4206
No TPTP formula. May not be expressible in strict first order. Hotel.kif 615-620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1727-1739


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