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 4277-4278
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 790-791
No TPTP formula. May not be expressible in strict first order. Merge.kif 4274-4274 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4273-4273 Property is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4272-4272 Property is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4275-4275 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. french_format.kif 153-153
No TPTP formula. May not be expressible in strict first order. relations-it.txt 236-236
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1981-1981
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 105-105
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 163-163
No TPTP formula. May not be expressible in strict first order. relations-de.txt 347-347
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 274-274
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 172-172
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 428-428
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 47810-47810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47809-47809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47808-47808
No TPTP formula. May not be expressible in strict first order. terms-de.txt 111-111

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 4280-4283
No TPTP formula. May not be expressible in strict first order. Merge.kif 7807-7811

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 7801-7805
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 4285-4288
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 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