TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3857-3861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17304-17310
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17302-17302	语气属性的 1 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17303-17303	语气属性的 2 数量是规范属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17298-17298	语气属性是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17297-17297	语气属性是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17299-17299	语气属性是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17300-17300	语气属性是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17301-17301	语气属性是特性的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	english_format.kif 594-594
No TPTP formula. May not be expressible in strict first order.	french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2100-2100
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 393-393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38199-38199
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 591-591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38198-38198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38197-38197

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13850-13857	公式的声明 has 合法的语气若且唯若不存在另一个公式这样那个另外公式的声明 has 法的语气和那个另外公式不是那个公式的 consistent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17416-17418	公式的声明 has 必要性的语气若且唯若那个公式的声明 doesn't have 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17479-17481	公式的声明 has 义务的语气若且唯若那个公式的声明 doesn't have 允许的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17515-17517	公式的声明 has 禁令的语气若且唯若那个公式的声明 doesn't have 允许的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	如果施事体是施事体的 instance 和有认知的主事是个 potential customer 对于那个施事体和实体是 Reserving 的 instance 和那个实体在那个施事体结束的声明 has 必要性的语气和如果那个施事体是那个有认知的主事的 customer 是正确，那有存在那个实体ES1 这样那个实体ES1 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES1 和那个施事体 fulfills 那个实体ES1 的机率就是实数和如果那个施事体是那个有认知的主事的 customer 是正确，那不存在那个实体ES2 这样那个实体ES2 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES2 和那个施事体 fulfills 那个实体ES2 的机率就是另一个实数，然后那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	如果过程是流血的的 instance 和实体是死亡的 instance 和公式是人类的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程和那个公式在那个施事体的近和那个过程 causes 那个实体的声明 has 容易的语气，然后有存在另一个实体这样那个另外实体是连接的 instance 和那个公式是那个另外实体的 agent 和那个另外实体在那个施事体结束有义务执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17312-17316	如果公式的声明 has 规范属性的语气和那个公式 entails 另一个公式，然后那个另外公式的声明 has 那个规范属性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13814-13819	如果实体的声明 has 法的语气在时距 holdsDuring，然后有存在另一个时距这样立法法案是那个实体的 attribute 在那个另外时距 holdsDuring 和那个另外时距比那个时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17529-17531	如果公式的声明 has 容易的语气，然后那个公式是真正的机率是 greaterThan 那个公式是假的机率
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17420-17422	如果公式的声明 has 必要性的语气，然后那个公式的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17483-17485	如果公式的声明 has 义务的语气，然后那个公式的声明 has 允许的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17318-17320	如果公式的声明 has 允许的语气，然后那个公式的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	如果公式的声明 has 较不可能的语气，然后那个公式是假的机率是 greaterThan 那个公式是真正的机率

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13850-13857	公式的声明 has 合法的语气若且唯若不存在另一个公式这样那个另外公式的声明 has 法的语气和那个另外公式不是那个公式的 consistent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17416-17418	公式的声明 has 必要性的语气若且唯若那个公式的声明 doesn't have 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17479-17481	公式的声明 has 义务的语气若且唯若那个公式的声明 doesn't have 允许的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17515-17517	公式的声明 has 禁令的语气若且唯若那个公式的声明 doesn't have 允许的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	如果有认知的主事有义务去做在协议的命题道义属性和那个道义属性 equal 义务或那个道义属性 equal 诺言，然后有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	如果 Image 是在 Album 的 image 和客体是那个 Album 在有点 DataStorageDevice 的 set 复制的 instance 和自身连接物体 contains 那个客体，然后那个 Image 是那个自身连接物体的前面的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	如果 allergic 人类 and 有点物质和有点物质UB 是那个有点物质的 instance 和那个有点物质UB 接上那个人类在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是 AllergicReaction 的 instance 和那个人类经历了那个另外实体和那个另外实体出现的 time 时段和那个时间位置重叠和那个时间位置的开始%n在那个另外实体出现的 time 的开始before发生的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29458-29463	如果 DeviceDamaged 是客体的 attribute 和那个客体的目的是公式，然后那个公式的声明 doesn't have 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29431-29435	如果 DeviceNormal 是客体的 attribute 和那个客体的目的是公式，然后那个公式的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	如果疾病或综合症是客体的 attribute 和 diseaseTreatment 那个疾病或综合症 and 有点治疗过程和过程是 TherpeuticProcess 的 instance 和那个疾病或综合症OC 是那个过程的 agent 和那个客体是那个过程的 patient 和医生是那个疾病或综合症OC 的 attribute，然后那个过程是有点治疗过程的 instance 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	如果 ADHD 是施事体的 attribute 和 ADHD 不是另一个施事体的 attribute 和那个施事体不 equal 那个另外施事体和过程是类的 instance 和另一个过程是那个类的 instance 和那个类是有意图的心理过程的 subclass 和那个施事体是那个过程的 agent 和那个另外施事体是那个另外过程的 agent 和那个过程出现的 time 的 duration 是持续时间和那个另外过程出现的 time 的 duration 是另一个持续时间，然后那个另外持续时间是 greaterThan 那个持续时间的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在那个客体，然后有存在实体，另一个实体， and 和那个客体2 这样那个另外实体是进食的 instance 和那个实体是那个另外实体的 agent 和那个施事体不 equal 那个实体和那个实体是一群人的 instance 和那个另外实体是 located 在那个客体2 和那个过程出现的 time 接着那个另外实体出现的 time 和那个客体 equal 那个客体2 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	如果 Multilingual 是施事体的 attribute 和过程是说话的 instance 和那个施事体是那个过程的 agent，然后有存在实体和另一个实体这样那个实体是口语人类语言的 instance 和那个另外实体是口语人类语言的 instance 和那个实体不 equal 那个另外实体和那个实体是那个过程的 patient 或那个另外实体是那个过程的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	如果 WheelchairAccessible 是客体的 attribute 和那个客体是建筑物的 instance 或那个客体是房间的 instance，然后有存在实体和另一个实体这样那个实体是运动的 instance 和那个另外实体是导致那个实体的 instrument 和那个另外实体是 Wheelchair 的 instance 和那个实体是 located 在那个客体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	如果机构能够担当主事的角色做 ValetParking 和那个机构是有认知的主事的 customer 和那个机构是 located 在客体和过程是到达的 instance 和那个有认知的主事是那个过程的 agent 和实体是那个过程的 patient 和那个过程在那个客体结束，然后有存在人类这样那个人类在那个机构任职 Valet 和有存在另一个实体和第三实体这样那个另外实体是 ValetParking 的 instance 和那个人类是那个另外实体的 agent 和那个实体是那个另外实体的 patient 和那个另外实体在那个第三实体结束和那个第三实体是 ParkingRegion 的 instance 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是过程的 subclass，然后有存在实体，另一个实体， and 和第三实体这样那个另外实体是那个施事体的财产的 element 和那个施事体是那个实体的 agent 和那个有认知的主事是那个实体的 patient 和那个实体是那个有点物理的 instance 或那个第三实体是那个有点物理的 instance 和那个实体%n是那个第三实体的subProcess 和那个实体是 located 在那个另外实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18451	如果 defaultMaxValue 谓语, 正整数 and 数量和那个谓语 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个数量是 greaterThan 那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13536-13545	如果有点客体的 maximum 预期价值是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	如果有点客体的 maximum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 那个第三实体是 greaterThan 那个实数那个测量单位的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13486-13497	如果有点客体的 maximum 預期半径是实数测量单位和另一个客体是有点客体的 instance 和球是那个另外客体的 attribute，然后有存在那个实数ADIUS 这样那个另外客体的 radius 是那个实数ADIUS 那个测量单位和那个实数ADIUS 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13566-13575	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 greaterThan 那个实数和 1.5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13577-13586	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 lessThan 那个实数和 .5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18434	如果 defaultMinValue 谓语, 正整数 and 数量和那个谓语 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个另外实体是 greaterThan 那个数量的声明 has 容易的语气

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3170-3170	AmericansWithDisabilitiesAct-US 的声明 has 法的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 2407-2407	反恐怖主义和有效的死刑法的声明 has 法的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 2405-2405	移民和国籍法- section219-US 的声明 has 法的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 2402-2402	移民和国籍行为的声明 has 法的语气

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: