AutonomousAgent(agent) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1683-1683 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1545-1546 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | Agent is a subclass of object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3686-3686 | Furniture is disjoint from agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6678-6678 | The range of street address is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16057-16057 | Commercial agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13945-13945 | Geopolitical area is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16108-16108 | Group is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1305-1305 | IT agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14246-14246 | Organism is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16494-16494 | Organization is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1553-1553 | Sentient agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 848-848 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64506-64506 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 898-898 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2411-2411 | The number 1 argument of aborted is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1685-1685 | The number 1 argument of election is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1321-1321 | The number 1 argument of executive branch is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3713-3713 | The number 1 argument of fiscal year is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3739-3739 | The number 1 argument of fiscal year starting is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4261-4261 | The number 1 argument of property is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1178-1178 | The number 1 argument of sellers items is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1213-1213 | The number 1 argument of sellers other items is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7778-7778 | The number 1 argument of wealth is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1660-1660 | The number 2 argument of achievement is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 596-596 | The number 1 argument of activity capability is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2421-2421 | The number 2 argument of agent is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3423-3423 | The number 2 argument of agent name is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2235-2235 | The number 1 argument of agent operates in area is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23289-23289 | The number 2 argument of alias is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 150-150 | The number 2 argument of appointedPosition is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23009-23009 | The number 1 argument of area of responsibility is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23560-23560 | The number 2 argument of arrested is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1942-1942 | The number 3 argument of ask price is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2424-2424 | The number 1 argument of associate in organization is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2435-2435 | The number 1 argument of associate with status is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2126-2126 | The number 2 argument of attitude for formula is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2119-2119 | The number 2 argument of attitude for object is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15340-15340 | The number 1 argument of authors is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22994-22994 | The number 2 argument of benefits is an instance of agent |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |