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 4305-4306
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 4302-4302 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4301-4301 Property is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4300-4300 Property is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4303-4303 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 47812-47812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47811-47811
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. terms-de.txt 111-111

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1463-1468
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1135-1148
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 847-868
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 815-836
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 1707-1715
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1913-1925
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 879-905
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 2755-2768
No TPTP formula. May not be expressible in strict first order. Merge.kif 4308-4311
No TPTP formula. May not be expressible in strict first order. Merge.kif 7892-7896

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 603-608
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1946-1957
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 1135-1148
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. Economy.kif 6116-6130
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 7886-7890
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 1702-1705
No TPTP formula. May not be expressible in strict first order. Economy.kif 905-919
No TPTP formula. May not be expressible in strict first order. Economy.kif 880-889
No TPTP formula. May not be expressible in strict first order. Merge.kif 4313-4316
No TPTP formula. May not be expressible in strict first order. Hotel.kif 619-624
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1738-1750


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